FELIS Programming Language for Rule Systems
نویسنده
چکیده
The gaining popularity of production rule systems had as a result the recent Rule Interchange Format (RIF) extensibility framework. This framework, developed by the W3C Consortium, is for modeling production rules in forward chaining rule engines. Our research, based on this RIF extensibility framework, sets the foundational work for a flexible new rule language to facilitate knowledge representation with syntax that incorporates features from both logic and functional programming. The benefits are grammatical freedom, absolute clarity and rigor. Formalizations of the new language and examples are provided. Keywords-computer languages; F-expressions; higher-order logic programming; production rule systems; rule dialects
منابع مشابه
A Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملRickettsia felis in Xenopsylla cheopis, Java, Indonesia
Rickettsia typhi and R. felis, etiologic agents of murine typhus and fleaborne spotted fever, respectively, were detected in Oriental rat fleas (Xenopsylla cheopis) collected from rodents and shrews in Java, Indonesia. We describe the first evidence of R. felis in Indonesia and naturally occurring R. felis in Oriental rat fleas.
متن کاملارائهروش جدید مبتنیبر برنامهنویسی ژنتیک برای وزندهی قوانین فازی در طبقهبندی نامتوازن
In classification problems, we often encounter datasets with different percentage of patterns (i.e. classes with a high pattern percentage and classes with a low pattern percentage). These problems are called “classification Problems with imbalanced data-sets”. Fuzzy rule based classification systems are the most popular fuzzy modeling systems used in pattern classification problems. Rule weights...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کامل